Ideas from 'The Barcan Formula and Metaphysics' by Ori Simchen [2013], by Theme Structure
[found in 'Theoria' (ed/tr -) [- ,]].
green numbers give full details |
back to texts
|
expand these ideas
4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
|
16186
|
The Barcan Formulas express how to combine modal operators with classical quantifiers
|
|
16187
|
The Barcan Formulas are orthodox, but clash with the attractive Actualist view
|
|
16190
|
BF implies that if W possibly had a child, then something is possibly W's child
|
10. Modality / E. Possible worlds / 1. Possible Worlds / d. Possible worlds actualism
|
16188
|
Serious Actualism says there are no facts at all about something which doesn't exist
|